منابع مشابه
Categorial Fibring of Logics with Terms and Binding Operators
Categorial characterizations are given of both unconstrained and constrained bring of Hibert calculi and interpretation systems for languages with variables, terms, variable binding operators and modal like operators. Some preliminary transference results are established. A brief comparison with model theoretic parchments is included.
متن کاملInitial Algebras of Terms with Binding and Algebraic Structure
One of the many results which makes Joachim Lambek famous is: an initial algebra of an endofunctor is an isomorphism. This fixed point result is often referred to as “Lambek’s Lemma”. In this paper, we illustrate the power of initiality by exploiting it in categories of algebra-valued presheaves EM(T ), for a monad T on Sets. The use of presheaves to obtain certain calculi of expressions (with ...
متن کاملAnalyzing the Illumination and Resolution in Seismic Survey Designing
Seismic modeling aids the geophysicists to have a better understanding of the subsurface image before the seismic acquisition, processing, and interpretation. In this regard, seismic survey modeling is employed to make a model close to the real structure and to obtain very realistic synthetic seismic data. The objective of this study is to analyze the resolution and illumination of the fault by...
متن کاملEvaluating the Perceptual Realism of the Ambient Terms vs . Indirect Illumination
General Presentation of the Research Domain The focus of the REVES research group is on image and sound synthesis for virtual environments. Our research is on the development of new algorithms to treat complex scenes in real time, both for image rendering (for example the capture and rendering of trees using an image-based technique [1]) or for sound (for example using perceptual masking and cl...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Turkish Studies
سال: 2009
ISSN: 1308-2140
DOI: 10.7827/turkishstudies.843